9.7 KB · ⇊ 3 parts · ⤓ Micron 9.7 KB · ⤓ HTML 67.1 KB

top

Die Differentiationsklassecite-ref-1[1] ist ein Begriff aus der Mathematik, insbesondere aus dem Teilgebiet der Analysis. Sie ist ein Funktionenraum und umfasst alle Funktionen, die mindestens k {\displaystyle k} -mal stetig differenzierbar sind, wobei k {\displaystyle k} eine natürliche Zahl ist. Notiert wird die Differentiationsklasse meist mittels C k {\displaystyle C^{k}} .

• Definition

• Verallgemeinerungen

• Teilmengenrelation

• Beispiele

• Genügend glatt

• Einzelnachweise

Sei k ∈ ∈ N ∪ ∪ { 0 } {\displaystyle k\in \mathbb {N} \cup \{0\}} eine Zahl und D ⊂ ⊂ R {\displaystyle D\subset \mathbb {R} } eine nichtleere, offene Teilmenge der reellen Zahlen. Eine stetige Funktion f : : D → → R {\displaystyle f\colon D\to \mathbb {R} } gehört dann zur Differentiationsklasse C k ( D ) {\displaystyle C^{k}(D)} beziehungsweise genauer C k ( D , R ) {\displaystyle C^{k}(D,\mathbb {R} )} , wenn f {\displaystyle f} auf ganz D {\displaystyle D} mindestens k {\displaystyle k} -mal stetig differenzierbar ist.cite-ref-koenigsberger155-2-0[2]

Entsprechend der Definition wird mit C ( D ) := C 0 ( D ) {\displaystyle C(D):=C^{0}(D)} die Klasse der stetigen Funktionen und mit C ∞ ∞ ( D ) {\displaystyle C^{\infty }(D)} die Differentiationsklasse der beliebig oft differenzierbaren Funktionen bezeichnet.cite-ref-koenigsberger155-2-1[2]

Die Klasse der analytischen Funktionen wird manchmal in Analogie zu obiger Definition mit C ω ω ( D ) {\displaystyle C^{\omega }(D)} bezeichnet.

Für stetige Funktionen g : : D ~ ~ ⊂ ⊂ R n → → R m {\displaystyle g\colon {\tilde {D}}\subset \mathbb {R} ^{n}\to \mathbb {R} ^{m}} im mehrdimensionalen euklidischen Vektorraum wird die Definition analog übernommen. Die Funktion g {\displaystyle g} gehört also zur Differentiationsklasse C k ( D ~ ~ , R m ) {\displaystyle C^{k}({\tilde {D}},\mathbb {R} ^{m})} , wenn sie auf ganz D ~ ~ {\displaystyle {\tilde {D}}} mindestens k {\displaystyle k} -mal stetig differenzierbar ist.cite-ref-3[3]cite-ref-4[4]

Wenn sich die Anzahl der möglichen Differentiationen ( k , l , . . {\displaystyle k,l,..} ) bei mehrdimensionalen Funktionen zwischen den einzelnen Variablen unterscheidet, so kann dem in einer Verallgemeinerung der obigen Notation Rechnung getragen werden: C k , l , . . ( D ) . {\displaystyle C^{k,l,..}(D).} cite-ref-5[5]

Auch für Funktionen zwischen differenzierbaren Mannigfaltigkeiten werden die C k {\displaystyle C^{k}} -Differentiationsklassen analog definiert.

Sei D ⊂ ⊂ R n {\displaystyle D\subset \mathbb {R} ^{n}} eine offene Teilmenge, dann gilt

C ω ω ( D ) ⊊ ⊊ C ∞ ∞ ( D ) ⊊ ⊊ ⋯ ⋯ ⊊ ⊊ C k ( D ) ⊊ ⊊ ⋯ ⋯ ⊊ ⊊ C 1 ( D ) ⊊ ⊊ C 0 ( D ) {\displaystyle C^{\omega }(D)\subsetneq C^{\infty }(D)\subsetneq \dotsb \subsetneq C^{k}(D)\subsetneq \dotsb \subsetneq C^{1}(D)\subsetneq C^{0}(D)} .

Je höher also der Index k {\displaystyle k} der Differentiationsklasse ist, desto weniger Funktionen umfasst sie.

• Die Exponentialfunktion exp : : R → → R {\displaystyle \exp \colon \mathbb {R} \rightarrow \mathbb {R} } ist analytisch und gehört somit zur Klasse C ω ω ( R ) {\displaystyle C^{\omega }(\mathbb {R} )} .

• Die Betragsfunktion | ⋅ ⋅ | : : R → → R {\displaystyle |\cdot |\colon \mathbb {R} \to \mathbb {R} } ist stetig, aber nicht differenzierbar. Sie gehört also zur Klasse C 0 ( R ) {\displaystyle C^{0}(\mathbb {R} )} , aber nicht zur Klasse C 1 ( R ) {\displaystyle C^{1}(\mathbb {R} )} .

• Die Funktion f : : R → → R {\displaystyle f\colon \mathbb {R} \to \mathbb {R} } , x ↦ ↦ | x | 3 {\displaystyle x\mapsto |x|^{3}} ist zweimal stetig differenzierbar, aber nicht dreimal. Es gilt also f ∈ ∈ C 2 ( R ) ∖ ∖ C 3 ( R ) {\displaystyle f\in C^{2}(\mathbb {R} )\setminus C^{3}(\mathbb {R} )} .

• Die Funktion f n : : R → → R {\displaystyle f_{n}\colon \mathbb {R} \to \mathbb {R} } , x ↦ ↦ x n | x | {\displaystyle x\mapsto x^{n}|x|} ist n {\displaystyle n} -mal stetig differenzierbar, aber nicht ( n + 1 ) {\displaystyle (n+1)} -mal für alle n ∈ ∈ N {\displaystyle n\in \mathbb {N} } . Es gilt also f n ∈ ∈ C n ( R ) ∖ ∖ C n + 1 ( R ) {\displaystyle f_{n}\in C^{n}(\mathbb {R} )\setminus C^{n+1}(\mathbb {R} )} .

• Die Funktion g : : R → → R {\displaystyle g\colon \mathbb {R} \to \mathbb {R} } mit g ( x ) = exp ⁡ ⁡ ( − − 1 x 2 ) {\displaystyle g(x)=\exp \left(-{\tfrac {1}{x^{2}}}\right)} für x ≠ ≠ 0 {\displaystyle x\neq 0} und g ( 0 ) = 0 {\displaystyle g(0)=0} ist beliebig oft differenzierbar und gehört somit zur Klasse C ∞ ∞ ( R ) {\displaystyle C^{\infty }(\mathbb {R} )} , aber sie ist nicht analytisch.

• Die Funktion h : : R → → R {\displaystyle h\colon \mathbb {R} \to \mathbb {R} } mit h ( x ) = x 2 sin ⁡ ⁡ ( 1 / x ) {\displaystyle h(x)=x^{2}\sin(1/x)} für x ≠ ≠ 0 {\displaystyle x\neq 0} und h ( 0 ) = 0 {\displaystyle h(0)=0} ist überall differenzierbar, aber die Ableitungsfunktion ist an der Stelle Null nicht stetig. Somit gehört die Funktion nicht zur Klasse C 1 ( R ) {\displaystyle C^{1}(\mathbb {R} )} , sondern nur zur Klasse C 0 ( R ) {\displaystyle C^{0}(\mathbb {R} )} .

Im Zusammenhang mit der Differenzierbarkeit wird manchmal davon gesprochen, dass eine Funktion genügend glatt sei. Dies bedeutet, dass im jeweiligen Kontext genügend oft differenzierbar ist, man sich also gewissermaßen keine zusätzlichen Gedanken um die Differenzierbarkeit machen muss.cite-ref-6[6] Der Begriff leitet sich aus der Bezeichnung glatte Funktion für eine beliebig oft differenzierbare Funktion ab.

cite-note-11. ↑ Rolf Walter: Einführung in die Analysis. Band 3. Walter de Gruyter, Berlin u. a. 2009, ISBN 978-3-11-020960-0, S. 59, 147ff.

cite-note-koenigsberger155-22. ↑ Konrad Königsberger: Analysis 1. Springer-Verlag, Berlin u. a., 2004, ISBN 3-540-41282-4, S. 155.

cite-note-33. ↑ Konrad Königsberger: Analysis 2. Springer-Verlag, Berlin/Heidelberg, 2000, ISBN 3-540-43580-8, S. 62.

cite-note-44. ↑ Rolf Walter: Einführung in die Analysis 2. de Gruyter, 2007, ISBN 978-3-11-019540-8, S. 64, 448.

cite-note-55. ↑ Martin Keller-Ressel: Stochastische Analysis. (PDF; 838 kB) In: tu-dresden.de. TU Dresden, Fakultät Mathematik, 23. Mai 2015, S. 46, abgerufen am 23. Mai 2024.

cite-note-66. ↑ Dirk Langemann, Cordula Reisch: So einfach ist Mathematik – Partielle Differenzialgleichungen für Anwender. 1. Auflage. Springer Spektrum, Berlin / Heidelberg 2018, ISBN 978-3-662-57501-7, S. 101.